| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Algorithmic Foundations of Datascience | Fach-/Modulprüfung | 6 | 453215 | ||
| Vorlesung | 448771 | Mi 08:30-10:00 HKW 2 (1132|303) (×13) Do 14:30-16:00 AH III (2350|314.1) (×12) | |||
| Übung | 448750 | Di 10:30-12:00 AH I (2350|028) (×12) | |||
| Formale Grundlagen von UML | Fach-/Modulprüfung | 6 | 453220 | ||
| Funktionale Programmierung | Fach-/Modulprüfung | 6 | 453151 | ||
| Logikprogrammierung | Fach-/Modulprüfung | 6 | 452059 | ||
| Vorlesung | 454728 | Di 16:30-18:00 AH III (2350|314.1) (×11) Mi 16:30-18:00 AH IV (2354|030) (×2) Fr 12:30-14:00 AH III (2350|314.1) (×11) | |||
| Übung | 454727 | Di 16:30-18:00 AH III (2350|314.1) (×2) Mi 09:00-13:00 AH III (2350|314.1) (×1) Mi 09:30-12:30 5055 (2356|055) (×1) Mi 16:30-18:00 AH IV (2354|030) (×8) Do 09:00-18:00 5055 (2356|055) (×1) Fr 12:30-14:00 AH III (2350|314.1) (×1) | |||
| Model Checking | Fach-/Modulprüfung | 6 | 455274 | ||
| Vorlesung | 455138 | Mo 10:30-12:00 AH II (2350|111) (×12) Mo 14:00-16:00 5055 (2356|055) (×1) Do 12:30-14:00 AH II (2350|111) (×9) | |||
| Übung | 455137 | Mo 10:30-12:00 AH II (2350|111) (×1) Mi 16:30-18:00 AH V (2356|050) (×10) |